package DataSpec is

   type Data is new Integer;

end DataSpec;
